Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🧠llms
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
🧠llms
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🧠llms
Boundaries Are in the Eye of the Beholder (2024)
planktonvalhalla.com·2h·
Discuss: Hacker News
🧠llms
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·8h·
Discuss: Hacker News
🧠llms
Depth=2
tristanpemble.com·1d·
Discuss: Hacker News
🧠llms
How the Lean language brings math to coding and coding to math
amazon.science·20h·
Discuss: Hacker News
🧠llms
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠llms
Spectral: A Screen-First Typeface (2017)
design.google·22h·
Discuss: Hacker News
🧠llms
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧠llms
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·20h·
Discuss: Hacker News
🧠llms
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·2d·
Discuss: Hacker News
🧠llms
Python performance myths and fairy tales
lwn.net·5h·
Discuss: Lobsters, Hacker News
🧠llms
Claude's Suggested Essays from My Notes
angadh.com·30m·
Discuss: Hacker News
🧠llms
Pragmatism in Programming Proverbs
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠llms
Who Am I in the Eye of AI?
lightcapai.medium.com·1d·
Discuss: Hacker News
🧠llms
Open Sourced: ML Interview Questions and Job List (Ranked by Comp and Culture)
github.com·21h·
Discuss: Hacker News
🧠llms
Help me understand what this guy means by LLMs and language?
arstechnica.com·1d·
Discuss: Hacker News
🧠llms
A Library Approach to Constant Template Parameters
brevzin.github.io·4d·
Discuss: Hacker News, r/cpp
🧠llms
Which Colors Are Primary?
jamesgurney.substack.com·4h·
Discuss: Substack
🧠llms